Logic-Based Knowledge Representation
نویسنده
چکیده
After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, time-dependent or subjective knowledge, and incomplete knowledge respectively. At the end of each section, we brieey comment on the connection to Logic Programming.
منابع مشابه
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks
Representation, reasoning about and integrating knowledge based on multiple time granularities in knowledge-based systems is important, especially when talking about events that take place in the real world. Formal approaches based on temporal logics have been successfully applied in many application domains of knowledgebased systems where the evolution of a system and its environment through t...
متن کاملSurvey of Temporal Knowledge Representation (Second Exam)
Knowledge Representation (KR) is a subfield within Artificial Intelligence that aims to represent, store, and retrieve knowledge in symbolic form that is easily manipulated using a computer. The vision of Semantic Web has recently increased because of the interest of using and a applying the Knowledge Representation methodology in both academia and industry. Knowledge Representation formalism a...
متن کاملA Modal Logic for Observation-Based Knowledge Representation
In this paper, we introduce and explore ways to include a notion of partiality of information in knowledge representation formalisms. This leads to the definition of an algebraic structure based on observation and partial representation, and to the study of the logical behaviour of those structures, with the characterization of a new modal logic called OL.
متن کاملA Knowledge Representation Formalism to Process Vague Medical Queries
Many fields of application deal with vague and fuzzy information. Thus the need of tools that are able to handle this kind of data is obvious. We concentrate on the extension of well-known terminological knowledge representation systems with appropriate methods. Classical terminological knowledge representation systems are based on two-valued logics. To solve problems of uncertainty a more expr...
متن کاملAutomatic Knowledge Acquisition for Expert Systems
The purpose of this article is to summarize the state-of-the-art of the expert systems research field. First, we introduce the basic notion of knowledge, and specifically of shallow knowledge, and deep knowledge. The first section of the document summarizes the history of the field. We analyze the differences between the first generation of expert systems, based primarily upon rulebased and fra...
متن کاملKnowledge Representation for Expert Systems
The purpose of this article is to summarize the state-of-the-art of the expert systems research field. First, we introduce the basic notion of knowledge, and specifically of shallow knowledge, and deep knowledge. The first section of the document summarizes the history of the field. We analyze the differences between the first generation of expert systems, based primarily upon rulebased and fra...
متن کامل